Theorem PFunctor.M.bisim_equiv

Modification history