Theorem Set.eval_preimage

Modification history