Theorem PFun.lift_injective

Modification history