Finite models, trees, and other restricted classes provably support type morphisms preserving bisimu...
This proposition has not been edited since the history system was added.