https://123dok.net/document/qo5loxj7-hopf-algebra-structure-lusztig-quantum-divided-power-algebras.html