Grothendieck's theory of crystals

GPTKB entity