Revision #830 → #1329 · back to history
addedFirst isomorphism theorem (groups)d39bf4258ff4
addedSecond isomorphism theorem (groups)e66b97814d30
addedProjective linear group via second isomorphism theorema10c0c3bf4ae
addedThird isomorphism theorem and correspondence (groups)1b1b0a3d52ff
addedCorrespondence/lattice theorem (groups)a9b0df2ba636
addedFirst isomorphism theorem (rings)f65cf476c5f0
addedSecond isomorphism theorem (rings)63dfdf28b082
addedThird isomorphism theorem and correspondence (rings)9b3bf6d35916
addedCorrespondence theorem (rings)232c0192081c
addedFirst isomorphism theorem (modules)c788b3d932ad
addedSecond isomorphism theorem (modules)6bc9a062290a
addedThird isomorphism theorem and correspondence (modules)bdaff56b2e40
addedCorrespondence theorem (modules)fabb9397e70a
addedCongruence on an algebrac9b3ce4c43d4
addedFirst isomorphism theorem (universal algebra)d8b7fb0b9793
addedSecond isomorphism theorem (universal algebra)7651002936e1
addedThird isomorphism theorem (universal algebra)cbcd76fae47e
addedCorrespondence theorem (universal algebra)f07ac405245b