Theorem PFunctor.M.corec_def

Modification history