Commit 2022-06-04 08:30 85fffda8
View on Github →feat(order/conditionally_complete_lattice,data/real/nnreal): add 2 lemmas (#14545)
Add cInf_univ
and nnreal.Inf_empty
.
feat(order/conditionally_complete_lattice,data/real/nnreal): add 2 lemmas (#14545)
Add cInf_univ
and nnreal.Inf_empty
.