Published package / CLIR
mathlib.divisibility.permissions
v0.1.0Разрешения условного импорта правил делимости mathlib
mathlib.divisibility.permissions
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| Import_Edition_9a221bc7dc5d8b5fbc95126a193a2925bcd5260e9bcf5dca79d1cbe51fc33874 | en | no | PINNED_UNOFFICIAL_COPY |
There are no revisions within one language: each language edition of this work has a single version, and there is nothing to compare.
Replacement of the act
Not measured: no-edition-boundary.