 Lazy Segtree in the AtCoder Library documentation

Primary source: atcoder.github.io/ac-library/production/document_en/lazysegtree.html

Project documentation: aggregate monoid, map compatibility, composition/id and constant-time operation assumptions.