Theorem PFun.preimage_inter

Modification history