# Commit 2022-02-15 12:59 a2d7b55a

View on Github →feat(order/complete_boolean_algebra): Frames (#11709)
Define the order theoretic `order.frame`

and `order.coframe`

and insert them between `complete_lattice`

and `complete_distrib_lattice`

.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(order/complete_boolean_algebra): Frames (#11709)
Define the order theoretic `order.frame`

and `order.coframe`

and insert them between `complete_lattice`

and `complete_distrib_lattice`

.