menu
fixed_z3 package
documentation
z3.dart
Rat
isZero property
isZero property
dark_mode
light_mode
isZero
property
bool
get
isZero
Whether this
Rat
is zero.
Implementation
bool get isZero => n == BigInt.zero;
fixed_z3 package
documentation
z3
Rat
isZero property
Rat class