The nonnegative rationals are Encodable.

As a consequence we also get the instance Countable ℚ≥0.

@[implicit_reducible]

instance NNRat.instEncodable : Encodable ℚ≥0

Equations

• One or more equations did not get rendered due to their size.