Theorem PFunctor.M.corec_unique

Modification history