Theorem PFun.pure_defined

Modification history