P
Initializing...
Pairing with the identity in the logarithmic-mean coordinates gives the weighted mean · Prove2Me