Theorem Fin.checked_add_spec

Modification history