شَرْحًا يَفْصِلُ مُجْمَلَاتِهِ
A commentary that elaborates its compressed statements.
Mujmal can denote a formulation whose intended detail is not immediately evident because of compression. Tafṣīl identifies its components, limits and intended sense. Proper elaboration does not invent unrelated claims: it clarifies the proposition under discussion.
For example, 'knowledge has divisions' announces a topic. Defining each division, marking its limits and giving examples turns the general statement into a developed account.
A short theological term may conceal several needed distinctions. Making them explicit preserves the original claim while reducing confusion.