Increased timeout in ROOT file to avoid fails while building the entry.
Description
Description
Details
Details
- Provenance
Jonathan Julian Huerta y Munive <jonjulian23@gmail.com> Authored on - Parents
- rAFP6037ad2499b0: Added a couple of lemmas to shorten proofs for convergence in types of class…
- Branches
- Unknown
- Tags