Theorem IsGalois.mem_range_algebraMap_iff_fixed

Modification history