Theorem InfiniteGalois.proj_adjoin_singleton_val

Modification history