Skip to content

doc: fix string literal mismatch in generalized field notation example#893

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

doc: fix string literal mismatch in generalized field notation example#893
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:admin