Theorem Set.finite_of_finite_preimage

Modification history