P
Initializing...
Multiplication by the parameter `t` of a concrete member is injective. · Prove2Me