size

abstract val size: Long
Content copied to clipboard

The amount of clauses in this Theory