Theorem InfiniteGalois.toAlgEquivAux_eq_liftNormal

Modification history