formula
The statement 'A is B' is true if and only if A is B.

Authors

Sources

Referenced by nodes (2)