Theorem Nat.mod_modEq

Modification history