Code

sigma-rings#1222

Code

Merged

affeldt-aist merged 15 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:sigma_ringaffeldt-aist/analysis:sigma_ringCopy head branch name to clipboardJun 5, 2024

+845-336

Commits

Commits on Jun 5, 2024

• sigma-rings (wip)

  Show description for 1a945ad
  affeldt-aist

  committed
  1a945ad

  Copy full SHA for 1a945ad

• rm lemma generalization coming from another PR

  affeldt-aist

  committed
  b49c20b

  Copy full SHA for b49c20b

• fix naming

  affeldt-aist

  committed
  81c2bd1

  Copy full SHA for 81c2bd1

• changelog & doc

  affeldt-aist

  committed
  2129d44

  Copy full SHA for 2129d44

• gen up to ae_eq_abse

  affeldt-aist

  committed
  fd83efd

  Copy full SHA for fd83efd

• fix naming

  affeldt-aist

  committed
  e8f4c34

  Copy full SHA for e8f4c34

• slight generalizations of lemmas about monotone classes

  affeldt-aist

  committed
  d4904d9

  Copy full SHA for d4904d9

• rename monotone_class to lambda_system

  affeldt-aist

  committed
  889b467

  Copy full SHA for 889b467

• lemmas about sigma-rings

  affeldt-aist

  committed
  fe64cf7

  Copy full SHA for fe64cf7

• trace sigma ring

  affeldt-aist

  committed
  ba68035

  Copy full SHA for ba68035

• adressing comments

  affeldt-aist

  committed
  86a7c27

  Copy full SHA for 86a7c27

• starting addressing comments by Theo

  affeldt-aist

  committed
  6b0ac80

  Copy full SHA for 6b0ac80

• comments by Theo

  affeldt-aist

  committed
  528ef4f

  Copy full SHA for 528ef4f

• fix

  affeldt-aist

  committed
  99c77fe

  Copy full SHA for 99c77fe

• comments by Pierre

  Show description for 1a81401
  

  affeldt-aist

  and

  proux01

  committed
  1a81401

  Copy full SHA for 1a81401