Skip to content

Fix a few minor Lean misformalisations #239

Fix a few minor Lean misformalisations

Fix a few minor Lean misformalisations #239