feat(*): misc simple lemmas (#2036)
* feat(*): misc simple lemmas
* +1 lemma
* Rename `inclusion_range` to `range_inclusion`
Co-Authored-By: Johan Commelin <johan@commelin.net>
Co-authored-by: Johan Commelin <johan@commelin.net>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
