P
Initializing...
p-adic valuation of detγ as Witt-vector colength · Prove2Me