Assertion: solution | /r/HasProperty | proven by richard schoen
Facets:
value: in 1979
type: TEMPORAL
Source sentences:
text: This result, known as the positive energy theorem was finally proven by Richard Schoen and Shing-Tung Yau in 1979, who made an additional technical assumption about the nature of the stress–energy tensor.