codepth (English, noun)
expansion: codepth (plural codepths)
Senses:
qualifier: commutative algebra
glosses: The Krull dimension minus the depth.
raw_tags: of a finitely generated module over a local ring
Forms:
form: codepths
tags: plural