AngouriMath
SoundUnderAssumptions
Field
Summary
The claimed relation holds only where the stated assumptions do: wherever both
sides are defined, under the conditions the output carries as
Providedf, or under a branch-cut convention. This is the
honest tier for most of the rewrite rules in this library.
sides are defined, under the conditions the output carries as
Providedf, or under a branch-cut convention. This is the
honest tier for most of the rewrite rules in this library.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online