Theorem MonoidHom.finite_iff_finite_ker_range

Modification history