Cartier–Dieudonné theory

GPTKB entity