mathlib
429aaa30 - feat(order/bounded_lattice): coe_unbot simp lemma (#9258)

Commit

4 years ago

feat(order/bounded_lattice): coe_unbot simp lemma (#9258)

Author

kim-em

kim-em

Parents

Loading