Code

powere_pos lemmas#969

Code

Merged

proux01 merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:exp_20230706affeldt-aist/analysis:exp_20230706Copy head branch name to clipboardJul 6, 2023

+343-302

Commits

Commits on Jul 6, 2023

• rm .classical

  

  affeldt-aist

  authored and

  proux01

  committed
  46f8489

• powere_pos lemmas

  Show description for a961322
  

  3 peopleauthored and

  proux01

  committed
  a961322