NotElement

Test non-membership of an expression in a mathematical domain.

موضوع‌ها

• Assumptions And Domains - Domains
• New In60 Alphabetical Listing - N
• Summary Of New Features In150 - Code Compilation »
• Summary Of New Features In150 - Code Compilation »
• Theorem Proving - Predicates

مرتبط