← Copula mathematical handbook

A characteristic-zero semiring is infinite

@[instance 100]

instance CharZero.infinite (M : Type u_1) [AddMonoidWithOne M] [CharZero M] : Infinite M