Theorem Num.ofNat'_eq

Modification history