`FormalConjecturesForMathlib/Analysis/SpecialFunctions/`

20 declarations, 0 contain sorry, 0 declared as axioms; 3 files

Folders

Log/ 1 files, 9 declarations

Files

AdditiveCharacter.lean 1 declarations
NthRoot.lean 10 declarations