AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

Navigation
Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

ExistsUniquef

← Back to list of classes

Description

Summary

exists! x in S : P: exactly one member of S satisfies P, which is
exists x in S : P and forall y in S : P(y) implies y = x. See Quantifier.

Members

























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