Published package / CLIR
mathlib.divisibility.permissions
v0.1.0Разрешения условного импорта правил делимости mathlib
| Work | Number | Editions | Fragments |
|---|---|---|---|
| mathlib.divisibility.permissions | sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c | 1 | 4 |