Theorem InfiniteGalois.mulEquivToLimit_symm_continuous

Modification history