Theorem Fin.modNat_rev

Modification history