Theorem Stream'.eq_of_bisim

Modification history