Theorem Finite.of_finite_mulAction_orbitRel_quotient

Modification history