Skip to content

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

Merged
thomaskwaring merged 18 commits into
leanprover:mainfrom
thomaskwaring:comm-to-conf
Sep 13, 2026
Merged

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

symmetrise

cfb0913
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Sep 13, 2026 in 5m 21s