Code

Zariski coverage on CommRing^op#1081

Code

Closed

MatthiasHu wants to merge 1 commit intoagda:masteragda/cubical:masterfrom MatthiasHu:Zariski-coverage-on-CRingMatthiasHu/cubical:Zariski-coverage-on-CRingCopy head branch name to clipboard

Commits

Commits on Nov 27, 2023

• (wip) for Zariski coverage on CommRing

  Show description for fac763b
  MatthiasHu

  committed
  fac763b

  Copy full SHA for fac763b