Skip to content

chore(PFunctor): drop simp tags from non-universe generic bind lemma - #893

Open
dtumad wants to merge 2 commits into
leanprover:mainfrom
dtumad:dtumad/drop-freem-poly-simps
Open

chore(PFunctor): drop simp tags from non-universe generic bind lemma#893
dtumad wants to merge 2 commits into
leanprover:mainfrom
dtumad:dtumad/drop-freem-poly-simps

Commits

Commits on Sep 10, 2026