Theorem RingHom.FiniteType.comp_surjective

Modification history