Опубликованный пакет / CLIR

`mathlib.divisibility.permissions`

v0.1.0

Разрешения условного импорта правил делимости mathlib

Работа	Номер	Редакций	Фрагментов
mathlib.divisibility.permissions	sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c	1	4