Skip to content

doc: fix typos in Defs and RecursiveDefs - #891

Open
ia0 wants to merge 2 commits into
leanprover:mainfrom
ia0:typo
Open

doc: fix typos in Defs and RecursiveDefs#891
ia0 wants to merge 2 commits into
leanprover:mainfrom
ia0:typo

Apply suggestion from @david-christiansen

f379914
Select commit
Loading
Failed to load commit list.
Sign in for the full log view