Skip to content

doc: fix bad copy/paste in PartialFixpoint - #892

Merged
david-christiansen merged 1 commit into
leanprover:mainfrom
ia0:subst
Jul 27, 2026
Merged

doc: fix bad copy/paste in PartialFixpoint#892
david-christiansen merged 1 commit into
leanprover:mainfrom
ia0:subst