Theorem Finite.finite_mulAction_orbit

Modification history