Theorem Subgroup.MemLeftTransversals.finite_iff

Modification history