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

`mathlib.order.permissions`

v0.1.0

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

Работа	Номер	Редакций	Фрагментов
mathlib.order.permissions	sha256:37a4a1585b83e01fd4b3ad85e8b4d5a7748f38d80960568f9f2c8fba45774d2e	1	5