P
Initializing...
In a finite local ring, `#{generators of (f)} · #{a | a f = 0} = #Bˣ` for `f ≠ 0`. · Prove2Me