mathlib
b9375009 - Eliminate `finish` from `semilattice_inf.le_inf`

Commit

4 years ago

Eliminate `finish` from `semilattice_inf.le_inf`

Author

stuart-presnell

stuart-presnell

Committer

stuart-presnell

stuart-presnell

Parents

Loading