more rules for natural deduction from inequalities
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEe83fe2c31088: rule concerning bit (push_bit ...)
- Branches
- Unknown
- Tags
more rules for natural deduction from inequalities Tags None Subscribers None
Description
Details
|