Commit 2026-10-18 20:09 809ed2c4

View on Github →

feat(RingTheory/Ideal/Colon): add colon_eq_top_iff_le (#44965) This PR adds colon_eq_top_iff_le, a submodule version of the already existing colon_eq_top_iff_subset.

Estimated changes