- NOTE that `LN` is an abbreviation for `LeanNotes` [LN-Propositions](https://github.com/dducoff/LN-Propositions)