Documentation

Mathlib.Algebra.Order.Ring.CharZero

Strict ordered semiring have characteristic zero #

Equations