scalar property

ProofScalar scalar
getter/setter pair

Implementation

late ProofScalar scalar;