Theorem Set.Finite.of_preimage

Modification history