Theorem InfiniteGalois.isOpen_mulEquivToLimit_image_fixingSubgroup

Modification history