Commit 2025-12-02 14:08 a7462520

View on Github →

feat: InfiniteGalois.mem_range_algebraMap_iff_fixed (#32338) Analogous to IsGalois.mem_range_algebraMap_iff_fixed but without the finite-dimensionality assumption.

Estimated changes