P
Initializing...
Subadditivity of the logarithmic height under multiplication · Prove2Me