mathlib
30bf2e91 - Rewrite `...aux` lemma as `have` statement; delete `aux` lemma

Commit

4 years ago

Rewrite `...aux` lemma as `have` statement; delete `aux` lemma

Author

stuart-presnell

stuart-presnell

Parents

Loading