Theorem PFunctor.M.nth_of_bisim

Modification history