Documentation

Mathlib.Algebra.CharZero.Infinite

A characteristic-zero semiring is infinite #

Equations