Theorem Equiv.infinite_iff

Modification history