Formula q_282 (Q951)

From ArqMath20
Revision as of 18:29, 22 April 2020 by SchuBot (talk | contribs) (‎Created claim: Defining formula (P1): 4 \downarrow 3 = 4 \downarrow \downarrow (4 \downarrow \downarrow 4) = 4 \downarrow \downarrow (4 + 1) = (4 + 1) + 1 = 6 = 4 + 3 - 1)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
No description defined
Language Label Description Also known as
English
Formula q_282
No description defined

    Statements

    q_282
    0 references
    0 references