drop SN from standard wpo-assumptions; prove irreflexivity of WPO without SN
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP8047285e3ff1: added proof: the multiset extension of two orders preserves irreflexivity
- Branches
- Unknown
- Tags