Code

ae corollary of FTC1#1250

Code

Merged

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:ftc_20240624affeldt-aist/analysis:ftc_20240624Copy head branch name to clipboardJul 6, 2024

+33-12

Commits

Commits on Jul 3, 2024

• ae corollary of FTC1

  Show description for 2b875af
  

  affeldt-aist

  and

  zstone1

  committed
  2b875af

• specialized lemma

  affeldt-aist

  committed
  130a44f