Theorem InfiniteGalois.finGaloisGroupFunctor_map_proj_eq_proj

Modification history