P
Initializing...
In a DVR with finite residue field, `#(O/๐ช^L) = q ^ L`. ยท Prove2Me