Theorem PFunctor.M.eq_of_bisim

Modification history