Theorem RingHom.finiteType_stableUnderComposition

Modification history