Refactored and updated entry. Synchronize with companion paper.
Description
Description
Details
Details
- Provenance
davfuenmayor@gmail.com Authored on - Parents
- rAFP137edadb54e2: simplified proof without auxiliary function
- Branches
- Unknown
- Tags
Refactored and updated entry. Synchronize with companion paper.
Description Refactored and updated entry. Synchronize with companion paper.
Details
Event Timelinedavfuenmayor@gmail.com committed rAFP13c52dd95561: Refactored and updated entry. Synchronize with companion paper..Aug 9 2023, 8:25 PM2023-08-09 20:25:13 (UTC+2) |