Theorem IntermediateField.fixingSubgroup_le

Modification history