Commit 2021-01-04 12:04 3669cb35
View on Github →feat(data/real/ennreal): add ennreal.prod_lt_top
(#5602)
Also add with_top.can_lift
, with_top.mul_lt_top
, and with_top.prod_lt_top
.
feat(data/real/ennreal): add ennreal.prod_lt_top
(#5602)
Also add with_top.can_lift
, with_top.mul_lt_top
, and with_top.prod_lt_top
.