Skip to content

Fix a few minor Lean misformalisations#238

Merged
GeorgeTsoukalas merged 4 commits intotrishullab:mainfrom ocfnash:more_fixesOct 23, 2024

Commits

Commits on Oct 22, 2024

Commits on Oct 23, 2024