A module of length `ℓ` over a local ring with finite residue field `k` has `|k|^ℓ` elements.

Initializing...

A module of length `ℓ` over a local ring with finite residue field `k` has `|k|^ℓ` elements. · Prove2Me