Theorem PFun.lift_graph

Modification history