Skip to content

doc: fix bad copy/paste in PartialFixpoint#892

Open
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:subst
Open

doc: fix bad copy/paste in PartialFixpoint#892
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:subst