Theorem InfiniteGalois.mk_toAlgEquivAux

Modification history