Lemma about the coercion ℕ → WithBot ℕ
. #
An orphaned lemma about casting from ℕ
to WithBot ℕ
,
exiled here during the port to minimize imports of Algebra.Order.Ring.Rat
.
ℕ → WithBot ℕ
. #An orphaned lemma about casting from ℕ
to WithBot ℕ
,
exiled here during the port to minimize imports of Algebra.Order.Ring.Rat
.