https://123dok.net/document/zwvlkkvq-liftings-formal-groups-artinian-completion-bp.html