Theorem InfiniteGalois.algEquivToLimit_continuous

Modification history