Theorem InfiniteGalois.toAlgEquivAux_eq_proj_of_mem

Modification history