empty

@JvmStatic()
fun empty(): MutableTheory
Content copied to clipboard

Creates an empty MutableTheory