Theorem PFun.preimage_comp

Modification history