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

missing period

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