Code

Lemma gt0_ltr_powR#1027

Code

Merged

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:exp_20230923hoheinzollern/analysis:exp_20230923Copy head branch name to clipboardOct 2, 2023

+32-3

Commits

Commits on Sep 28, 2023

• Lemma gt0_ltr_powR

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  7819b72

• add powR_injective

  Show description for 932a46a
  affeldt-aist

  committed
  932a46a