(P2384)
English
statement describes
formalization of the statement contains a bound variable in this class
- statement about
Data type
Item
Statements
Constraints
0 references
formalization of the statement contains a bound variable in this class
No description defined