Theorem PFun.dom_iff_graph

Modification history