`FormalConjecturesForMathlib/Data/`

132 declarations, 0 contain sorry, 0 declared as axioms; 24 files

Folders

Bool/ 1 files, 1 declarations
Finset/ 3 files, 6 declarations
Int/ 2 files, 3 declarations
Nat/ 10 files, 73 declarations
Real/ 2 files, 4 declarations
Set/ 3 files, 37 declarations
Sym/ 1 files, 2 declarations
ZMod/ 2 files, 6 declarations