primes.reflexive_divides
reflexive divides
Theorem reflexive_divides : relations.reflexive (nat.nat) divides.
theorem reflexive_divides : (reflexive) (nat) (divides) .
theorem reflexive_divides : ((relations.reflexive) (nat.nat)) ((primes.divides) ).
reflexive_divides : LEMMA relations_sttfa_th.reflexive[nat_sttfa_th.sttfa_nat](primes_sttfa.sttfa_divides)
Printing for OpenTheory is not working at the moment.