Theorem RingHom.FiniteType.of_finite

Modification history