P
Initializing...
`ρ` is multiplicative: `ρ(U V) = ρ(U) ∘ ρ(V)`. · Prove2Me