Theorem PFunctor.M.dest_corec

Modification history