isZero property

@override bool isZero

Implementation

@override
bool get isZero => _c._z3.algebraic_is_zero(_n);