miscelleaneous

Random Lean experiments

Typo

Changes

1 changed files (+1/-1)