Theorem fixingSubgroup_unionᵢ

Modification history