Theorem Finite.of_finite_quot_finite_ideal

Modification history