Skip to content

feat: add a predicate for monad morphisms - #856

Open
eric-wieser wants to merge 27 commits into
leanprover:mainfrom
eric-wieser:monadHom
Open

feat: add a predicate for monad morphisms#856
eric-wieser wants to merge 27 commits into
leanprover:mainfrom
eric-wieser:monadHom

fix name

386d4af
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 10, 2026 in 2s