Theorem InfiniteGalois.proj_of_le

Modification history