Commit 2025-07-03 09:08 bed80374
View on Github →feat: more lemmas on lattices within intervals (#26582)
We had these already for Icc, this adds them for the other intervals.
feat: more lemmas on lattices within intervals (#26582)
We had these already for Icc, this adds them for the other intervals.