Theorem IsGalois.mem_bot_iff_fixed

Modification history