instance property

TheoremReach instance

Implementation

static TheoremReach get instance => _instance;