`OAI/Probability/MatroidSecretary/`

764 declarations, 0 contain sorry, 0 declared as axioms; 118 files

Folders

Accounting/ 11 files, 43 declarations
Density/ 3 files, 14 declarations
Labels/ 13 files, 104 declarations
Pivots/ 15 files, 67 declarations
Residual/ 7 files, 25 declarations
Sampling/ 8 files, 68 declarations
Secretary/ 33 files, 241 declarations
Selection/ 11 files, 47 declarations
Transport/ 9 files, 90 declarations
Weights/ 5 files, 46 declarations

Files

Contracts.lean 17 declarations
FixedOutsideThinning.lean 2 declarations
Main.lean 16 imports, no declarations