Code

tentative gen of int. by subst#1450

Code

Draft

affeldt-aist wants to merge 4 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:ftc_20250108affeldt-aist/analysis:ftc_20250108Copy head branch name to clipboard

+666

Commits

Commits on Jan 8, 2025

• tentative gen of int. by subst

  Show description for 7d4f700
  

  affeldt-aist

  and

  IshiguroYoshihiro

  committed
  7d4f700

  Copy full SHA for 7d4f700

Commits on Jan 13, 2025

• app

  affeldt-aist

  committed
  50f686d

  Copy full SHA for 50f686d

Commits on Jan 14, 2025

• wip

  affeldt-aist

  committed
  38a1bab

  Copy full SHA for 38a1bab

Commits on Jan 15, 2025

• wip

  

  IshiguroYoshihiro

  authored and

  affeldt-aist

  committed
  8a785cb

  Copy full SHA for 8a785cb