Commit 2024-03-07 06:34 24e73186
View on Github →feat: add simp lemma (#11206) It is already there for inf/sup, now add it to inter/union. Now simp succeeds in cases where previously symm; simp was necessary
feat: add simp lemma (#11206) It is already there for inf/sup, now add it to inter/union. Now simp succeeds in cases where previously symm; simp was necessary