minor performance tuning: avoid redundant BigInt construction;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc4a1088d0081: added lemmas total_on_trancl and totalp_on_tranclp
- Branches
- Unknown
- Tags
minor performance tuning: avoid redundant BigInt construction; Tags None Subscribers None
Description
Details
|