Revision #227 → #1426 · back to history
addedRussell–Whitehead's 1+1=2f184509727dd
addedEmpty set notation ∅646c51661c23
addedInjective, surjective, bijective functions31d3c0218501
addedPavés and boules9ece1a96c23d
addedBarrel (topological vector space)793ce73f8159
addedMother structures12960d8908e7
addedSystems as examples of a group1c56f0baa712