leanprover-community/NNG4

Typo in Implication World level 6

Closed this issue · 1 comments

nvchhawch commented

The first paragraph states

... assumptions of of the form ...

joneugster commented

Thanks!