Corollary 3.3.3 (07FR)
0 tagged blocks link here.
David Gepner, Rune Haugseng
Original source: arXiv:1312.3178v4
Metadata needs review: Citation author information differs from source metadata · Review queue