- Companion:
- class
Type members
Classlikes
Value members
Concrete methods
Implicits
Implicits
Inherited implicits
final implicit val NaturalAlgebra: CommutativeRig[Natural] & Order[Natural] & forAdditiveCommutativeMonoid[Natural] & TruncatedDivision[Natural]
- Inherited from:
- NaturalInstances