P
Initializing...
Theorem 8: adjoint logarithm characterization of equality · Prove2Me