Ontify
Description to what extent a mathematical statement or complication can be disregarded due to simplicity.
Wikidata