Theorem Fin.cast_addNat_left

Modification history