Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: hypothesis and conclusion

Bottom of Page

1 to 1 of 1

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2012
    • (edited Sep 26th 2012)

    I made hypothesis and conclusion entries or redirects to make deduction and induction - contents look nicer

    (Gee, and I was really just editing injective module when the detour through Zorn’s lemma made me get distracted again by all this foundational business…)

1 to 1 of 1

  1.