Manuscript I-B-VP@3 · I-B-VP-v3.tex · section · 93c04eb4
Host, bundle, field normalization, and signature
Host, bundle, field normalization, and signature · lines 422–427
The Friedrichs extension is denoted . It is the closure of the nonnegative energy form initially defined on compactly supported smooth sections.