Grothendieck's yoga of crystalline cohomology

GPTKB entity