thm Type

Namespace: Calculemus

Assembly: Calculemus.dll

Parent Module: ProofSystem

Base Type: obj

All Interfaces: IEquatable<thm> , IStructuralEquatable , IComparable<thm> , IComparable , IStructuralComparable