Theorem AddSubgroup.mem_inertia

Modification history