P
Initializing...
If `U ≡ V` through total degree `n`, then `ρ(U) f ≡ ρ(V) f` through degree `n`. · Prove2Me