Assertion: tetrahedron's edge | /r/HasProperty | following formula
Facets:
Source sentences:
text: or by the following formula (if an angle and two corresponding edges are known):