mathlib3
a6fc6bdc - feat(finset/lattice): max'_insert (#6089)

Commit

4 years ago

feat(finset/lattice): max'_insert (#6089) From `lean-liquid`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents