added lemma for special case of small integer solutions (no mixed integer), where then everything is of type int
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP6927929601ba: document change in metadata
- Branches
- Unknown
- Tags