Theorem PFun.dom_to_subtype_apply_iff

Modification history