toMutableTheory

open override fun toMutableTheory(): MutableTheory
Content copied to clipboard