Theorem InfiniteGalois.mem_range_algebraMap_iff_fixed

Modification history

2025-12-02 14:08
Mathlib/FieldTheory/Galois/Infinite.lean
feat: InfiniteGalois.mem_range_algebraMap_iff_fixed (#32338) …
Added InfiniteGalois.mem_range_algebraMap_iff_fixedView on Github →