Theorem PFunctor.Approx.P_corec

Modification history