Code

Cleanup in ClassifyingSpace.v#2213

Code

Merged

Alizter merged 2 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/remove_rewrites_from_classifyingspace_vAlizter/HoTT:ps/rr/remove_rewrites_from_classifyingspace_vCopy head branch name to clipboardMar 14, 2025

Commits

Commits on Mar 13, 2025

• remove rewrites from ClassifyingSpace.v

  Show description for 8de7168
  Alizter

  committed
  8de7168

  Copy full SHA for 8de7168

Commits on Mar 14, 2025

• Update theories/Homotopy/ClassifyingSpace.v

  Show description for 614465d
  

  Alizter

  and

  jdchristensen

  authored
  614465d

  Copy full SHA for 614465d