I think this is more (or less) just a collection of things related to X (I mean no offense). When I studied Queueing Theory, I also encountered the situation where the core principles are of mathematical nature, which means they are already at a high level of abstractions.
The approach I’ve taken is to have an Insight section in the note, where I use the formulas, properties, etc to explain relevant phenomenon. Below the Insight section is a set of derivations, properties, formulas that pertain to the core theories.
So for example, in my note, titled “MM1 queue”, I have something like this:
And this:
I consider the phenomenons (utilization increases queues exponentially) to be the atomic notes, and the “MM1 Queue” to be a highly abstract note that is useful in supporting the atomic notes. Hope it helps.

