clarified order, disregard structure of proof;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4c719b31a0c2: minor performance tuning;
- Branches
- Unknown
- Tags
clarified order, disregard structure of proof; Tags None Subscribers None |