OfScientific

Statistics

Metric	Count
Definitions	0
Theorems `instLawfulOfScientificOfCharZero`	1
Total	1

Name	Kind	Assumes	Proves	Validates	Depends On
`instLawfulOfScientificOfCharZero` 📖	mathematical	—	`Field.toGrindField` `NNRatCast.toOfScientific` `DivisionRing.toNNRatCast` `Field.toDivisionRing`	—	`NNRat.cast_ofScientific` `Rat.ofScientific_nonneg` `NNRatCast.toOfScientific_def` `Nat.instAtLeastTwoHAddOfNat` `Nat.cast_mul` `Nat.cast_pow` `NNRat.cast_mul` `NNRat.cast_natCast` `NNRat.cast_pow` `NNRat.cast_ofNat` `Rat.cast_div` `Rat.cast_natCast` `Rat.cast_pow` `Rat.cast_ofNat`

---