Theorem Equiv.set_finite_iff

Modification history