Theorem EqualCharZero.of_algebraRat

Modification history