Fix function spelling where `even a` should be `is_even a` - Githubissues

leanprover / theorem_proving_in_lean

Theorem proving in Lean

Apache License 2.0

47 stars 46 forks source link

Fix function spelling where `even a` should be `is_even a` #118

Closed fzyzcjy closed 1 year ago