Theorem Subgroup.mem_infᵢ

Modification history