Skip to content

feat(Foundations/Relation/Confluence): generalize results from confluence to commutation - #880

Open
thomaskwaring wants to merge 16 commits into
leanprover:mainfrom
thomaskwaring:comm-to-conf
Open

feat(Foundations/Relation/Confluence): generalize results from confluence to commutation#880
thomaskwaring wants to merge 16 commits into
leanprover:mainfrom
thomaskwaring:comm-to-conf

further cleanup

0e5cb48
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 12, 2026 in 4s