Closed jstoobysmith closed 1 month ago
Move definitions around, sort file structures, refactored some proofs.
Move definitions around, sort file structures, refactored some proofs.