lfsposet morphism utils

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Closed eupp closed 2 years ago

eupp commented 2 years ago

Helper lemmas for morphisms (and corresponding preorders) on finitely supported posets.