Reference · Logic

rainbow.math.logic.function-predicate

Logicsrc/rainbow/math/logic/function_predicate.clj0 definitions, 0 theorems

Checked native declarations for reusable higher-order function predicates.