proved a few properties of WPO with less assumption, so that Co-WPO properties can be derived
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPfcde7caebe0d: Fixed LaTeX.
- Branches
- Unknown
- Tags