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 <cc33088d8fd4e5fec08f00b672477b8217d4acdb@users.noreply.github.com>

leanprover-community/mathlib,leanprover-community/mathlib