Skip to content

feat: add a predicate for monad morphisms - #856

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

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

drop lawful

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