Theorem IntermediateField.fixingSubgroup_anti

Modification history