remove f \i0 = \i0 condition - Githubissues

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

remove f \i0 = \i0 condition #93

Closed volodeyka closed 3 years ago