Commit 2022-04-18 17:14 546618eb
View on Github →feat(order/upper_lower): Principal upper/lower sets (#13069)
Define upper_set.Ici
and lower_set.Iic
. Also add membership lemmas for the lattice operations.
feat(order/upper_lower): Principal upper/lower sets (#13069)
Define upper_set.Ici
and lower_set.Iic
. Also add membership lemmas for the lattice operations.