https://9dok.net/document/yevk7d37-exterior-powers-of-barsotti-tate-groups.html