Theorem Subgroup.MemRightTransversals.finite_iff

Modification history