P
Initializing...
Pointwise expansion of the registered ricci difference (genuine pd linearity) · Prove2Me