Опубликованный пакет / CLIR
mathlib.divisibility
v0.1.0Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации
mathlib.divisibility
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_8bd3a20cc35406ce4a2f5b20a2ac6906fd0ee967c504d2e08751ead4bb5fb908 | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
mathlib.divisibility
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_9a221bc7dc5d8b5fbc95126a193a2925bcd5260e9bcf5dca79d1cbe51fc33874 | en | нет | PINNED_UNOFFICIAL_COPY |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
mathlib.divisibility
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_b0633945066967f025793780617bc4bf036f0f076b498290a1db92acdb2b0f90 | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.