P
Initializing...
`BookProof.ChapterA3.delta_subset_lorentz` : LorentzDelta ⊆ LorentzO · Prove2Me