rigid cohomology

GPTKB entity