mathlib

4487e739 - feat(order/bounded_lattice): is_total, coe_sup and unique_maximal lemmas (#6922)

feat(order/bounded_lattice): is_total, coe_sup and unique_maximal lemmas (#6922) A few little additions for with_top and with_bot. Co-authored-by: agjftucker <33552683+agjftucker@users.noreply.github.com>