Theorem algebraRat.charZero

Modification history