search

leanprover / theorem_proving_in_lean

Theorem proving in Lean
Apache License 2.0
47 stars 46 forks source link

fix typo in structures_and_records #80

Closed JaredCorduan closed 5 years ago

JaredCorduan commented 5 years ago

Change max 1 l to max 1 u in order to match the example.