Theorem AlgHom.FiniteType.of_surjective

Modification history