Theorem deriv_ofNat

Modification history