Any advice on my derivation layout?
I think the postulates of special relativity at the beginning of the article are due to Einstein, although the transformations are from Lorentz, developed as a part of ether theory.
The Lorentz equations are contingent upon the postulates. Without them, there are no equations.
Separate names with a comma.