mathlib
e6edd019 - Eliminate `finish` from `not_first_wins`

Commit

4 years ago

Eliminate `finish` from `not_first_wins`

Author

stuart-presnell

stuart-presnell

Committer

stuart-presnell

stuart-presnell

Parents

Loading