P
Initializing...
In a DVR, `n ↦ m^n` is injective. · Prove2Me