Commit 2022-05-12 14:24 fa4c0368
View on Github →chore(order/complete_lattice,data/set/lattice): move Sup_sUnion (#14077)
- move
Sup_sUnionandInf_sUniontodata.set.lattice; - golf a few proofs.
chore(order/complete_lattice,data/set/lattice): move Sup_sUnion (#14077)
Sup_sUnion and Inf_sUnion to data.set.lattice;