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

arxo.math_claims

v0.1.0

Словарь математических утверждений: claim, источник, доказательство, свидетельство, область применимости, статус и условное следствие