R (record)
Raw.triple [in Coq.FSets.FMapAVL]
Reflexive [in Coq.Classes.CRelationClasses]
Reflexive [in Coq.Classes.RelationClasses]
reify [in Coq.setoid_ring.Ncring_tac]
reifylist [in Coq.setoid_ring.Ncring_tac]
retract [in Coq.Logic.ClassicalFacts]
retract [in Coq.Logic.Berardi]
retract_cond [in Coq.Logic.Berardi]
RewriteRelation [in Coq.Classes.CRelationClasses]
RewriteRelation [in Coq.Classes.RelationClasses]
Ring [in Coq.setoid_ring.Ncring]
Ring_morphism [in Coq.setoid_ring.Ncring]
Ring_ops [in Coq.setoid_ring.Ncring]
ring_morph [in Coq.setoid_ring.Ring_theory]
ring_eq_ext [in Coq.setoid_ring.Ring_theory]
ring_theory [in Coq.setoid_ring.Ring_theory]
rsplit [in Coq.setoid_ring.Field_theory]