OAI/Probability/MatroidSecretary/Pivots/
67 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- CertificateAuxSeed.lean 4 declarations
- MarkedAuxiliaryAE.lean 1 declarations
- MarkedPivotContract.lean 4 declarations
- MarkedPivotEdgeCases.lean 7 declarations
- MarkedPivotFiniteOrder.lean 4 declarations
- MarkedPivotSpecification.lean 8 declarations
- MarkedQueryProgramModel.lean 5 declarations
- MarkedTransactions.lean 7 declarations
- PatternFamilySpecificationProof.lean 1 declarations
- PivotOrderInvariance.lean 14 declarations
- RandomizedMarkedTransactions.lean 2 declarations
- RawPatternCount.lean 2 declarations
- SupportedQueryModel.lean 1 declarations
- SupportedTransactions.lean 6 declarations
- TransactionLogResource.lean 1 declarations