Theorem ringChar.Nat.cast_ringChar

Modification history