P
Initializing...
Scaling a safe law by an everywhere-safe expression gives a safe law. · Prove2Me