more accurate syntax: 'obtain' vars are optional;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5c1451900bec: clarified order, disregard structure of proof;
- Branches
- Unknown
- Tags
more accurate syntax: 'obtain' vars are optional; Tags None Subscribers None |