P
Initializing...
`BookProof.ChapterGravityInvMetric.metric_mul_metric` : metric * metric = 1 · Prove2Me