AngouriMath

Navigation

← Back to list of members

Sound

 Field

Summary

The claimed relation holds for every value of the free variables, with no side
conditions and no choice of branch.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online