Theorem Set.Finite.preimage

Modification history