Theorem IsGalois.fixedField_top

Modification history