isZero property

  1. @override
bool get isZero
override

Implementation

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