Etymology
Today it means: A contraderived category of module Full definition →
From contra- + module.
Etymology from Wiktionary, CC BY-SA 4.0.