Module proof_scalar_dto

Source

Structsยง

ProofScalarDto
Proof scalar.