Formula Derivation
Use this skill when the task is not merely to prove a finished theorem, but to build the derivation itself:
- define the right object,
- decide what should be assumed,
- determine what is identity vs proposition vs approximation,
- connect simple and general regimes without splitting into two unrelated stories,
- and turn messy notes into a derivation line that can later be written into a paper.
Do not use this skill as a replacement for strict proof writing once
[Description truncada. Veja o README completo no GitHub.]