Theorem IntermediateField.fixingSubgroup_antitone

Modification history