Theorem Set.update_preimage_pi

Modification history