WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Isomorphism theorems
Revision #1329 → #2036 ·
back to history
added
Zassenhaus (butterfly) lemma
4a1e463d2c83
added
Rank–nullity theorem (modules section)
fb0253f15bca