Theorem lattice.insert_of_has_insert
Modification history
2020-03-03 11:51
src/order/complete_lattice.lean
feat(tactic/lint): check for redundant simp lemmas (#2066) …
Deleted lattice.insert_of_has_insertView on Github →2019-09-10 09:32
src/order/complete_lattice.lean
chore(topology): sanity_check pass (#1416) …
Modified lattice.insert_of_has_insertView on Github →