Theorem PFun.prodLift_apply

Modification history