Theorem IntermediateField.mem_fixingSubgroup_iff

Modification history