DPRM_Theorem: finally cleaned up and impressive!
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP1d26ed7d793d: New entry [Rewrite_Properties_Reduction]
- Branches
- Unknown
- Tags
DPRM_Theorem: finally cleaned up and impressive!
Description DPRM_Theorem: finally cleaned up and impressive!
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rAFPe56ed550366a: DPRM_Theorem: finally cleaned up and impressive!.Jun 7 2022, 1:24 PM2022-06-07 13:24:23 (UTC+2) |