Math 2.0

Prime avoidance lemma

This page lists the items of the Wikipedia article Prime avoidance lemma in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1344566333, with the assessment Stub/Low.

OutcomeItems
deferred4
attached2

The gap signals of the article are S1,S4,S5,S6,S8,S9.

ItemKindNameOutcomeNodesReason
subjectstatementPrime avoidance lemmadeferred until 2027-05-01the item has the flag informal (WP9.2)
#1GIPexampleApplicationdeferred until 2027-05-01the cue heading names a section and not one item
#JAGBproofProof by induction on nattached
#S5FLproofProofattached
#WCZGstatementTheoremdeferred until 2027-05-01the item has no name of its own, and the write role names it
#Z2QJstatementTheoremdeferred until 2027-05-01the item has no name of its own, and the write role names it

Refer to Wikipedia articles and their nodes for the other articles.