RefFormat conj "Conjecture \arabic{theorem}"
RefFormat fact "Fact \arabic{theorem}"
RefFormat def "Definition \arabic{theorem}"
RefFormat conj "Conjecture \arabic{theorem}"
RefFormat fact "Fact \arabic{theorem}"
RefFormat def "Definition \arabic{theorem}"