HOL html
| Files Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Theorems Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
C (theorems)
CANCEL_TIMES2CARNAP
CHINESE_REMAINDER
CLOSED_CLOSURE
CLOSED_NOT_TRUE
CLOSED_TRUE_OR_FALSE
COMPLETE_SOUND_SENTENCE
COMPLEXITY_FORMSUBST
CONSISTENT_ALT
COPRIME
COPRIME_0
COPRIME_1
COPRIME_2
COPRIME_BEZOUT
COPRIME_BEZOUT_ALT
COPRIME_BEZOUT_STRONG
COPRIME_DIVISORS
COPRIME_DIVPROD
COPRIME_EXP
COPRIME_EXP2
COPRIME_EXP2_SUC
COPRIME_EXP_DIVPROD
COPRIME_EXP_IMP
COPRIME_GCD
COPRIME_LEXP
COPRIME_LMUL
COPRIME_LMUL2
COPRIME_MINUS1
COPRIME_MUL
COPRIME_PLUS1
COPRIME_POW
COPRIME_PRIME
COPRIME_PRIMEPOW
COPRIME_PRIME_EQ
COPRIME_REFL
COPRIME_REXP
COPRIME_RMUL
COPRIME_RMUL2
COPRIME_SOS
COPRIME_SYM
closed
closure
complete
complete_for
complexity
consistent
contrad
contrapos
coprime