Theorem Denumerable.ofEquiv_ofNat

Modification history