Theorem Finite.exists_equiv_fin

Modification history