Revision #3479 → #4026 · back to history
92d630fb276e| Field | From #3479 | To #4026 |
|---|---|---|
| anchor.match_kind | — | — |
| anchor.snippet | This method is sometimes called PPS-sequential or monetary unit sampling | Monetary unit (PPS-sequential) sampling used in auditing is not formalized in Mathlib. |
29282d9c422c05d4377234626fdd21f92ffe8414ddb5c3e9dee38d9ef4ced201ea39481d4987121fe5c6fca0f4a4f2a0