Theorem Fin.checked_mul_spec

Modification history