de Rham–Witt complex

GPTKB entity