Code

Use CommIdeal everywhere#691

Code

Merged

mortberg merged 7 commits intoagda:masteragda/cubical:masterfrom felixwellen:use-commideal-everywherefelixwellen/cubical:use-commideal-everywhereCopy head branch name to clipboardApr 4, 2022

+43-36

Commits

Commits on Jan 7, 2022

• WIP: Use CommIdeal

  felixwellen

  committed
  f308241

  Copy full SHA for f308241

• Use CommIdeal for CommRing-Quotients

  felixwellen

  committed
  827b2af

  Copy full SHA for 827b2af

• Use CommIdeal for FGIdeals

  felixwellen

  committed
  0cf454d

  Copy full SHA for 0cf454d

• Remove obsolete comment

  felixwellen

  committed
  8101e83

  Copy full SHA for 8101e83

• Fix usages in CommAlgebra

  felixwellen

  committed
  b0a13ee

  Copy full SHA for b0a13ee

• Fix usages in CommAlgebra

  felixwellen

  committed
  5c1c824

  Copy full SHA for 5c1c824

• Remove obsolete comment

  felixwellen

  committed
  6c27b3c

  Copy full SHA for 6c27b3c