OAI/Combinatorics/UniformKServer/RawAccepted.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.UniformKServer.RawAccepted.Numbers line 13
2. theorem OAI.UniformKServer.RawAccepted.numbers_spec line 20
3. theorem OAI.UniformKServer.RawAccepted.bounds_spec line 37
4. structure OAI.UniformKServer.RawAccepted.Params line 57
5. theorem OAI.UniformKServer.RawAccepted.spec line 66