Closed MHenderson closed 5 months ago
Trying to make the main proof clear by extracting the construction. Still needs more work.
Trying to make the main proof clear by extracting the construction. Still needs more work.