Code

mulr_rev out of forms.v#1122

Code

Merged

proux01 merged 9 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:fixes_1092affeldt-aist/analysis:fixes_1092Copy head branch name to clipboardApr 24, 2024

+16-30

Commits

Commits on Apr 24, 2024

• mulr_rev out of forms.v

  affeldt-aist

  committed
  5178be3

• use R^c

  affeldt-aist

  committed
  d257a92

• unfold mulr_rev

  affeldt-aist

  committed
  59db8ff

• rm mulr_rev stuff

  affeldt-aist

  committed
  c889b05

• fix

  affeldt-aist

  committed
  1da75ec

• fix

  affeldt-aist

  committed
  780ba82

• fix

  affeldt-aist

  committed
  daeaa54

• fix

  affeldt-aist

  committed
  ce49faf

• fix

  affeldt-aist

  committed
  cee5635