Commit 2026-02-18 15:23 3c50db6e

View on Github →

feat(Ideal/Span): add Ideal.span_singleton_le_iff_mem to simp set (#35489)

Estimated changes