C (notation)
_ ?= _ [in Coq.Structures.Orders]
_ ?= _ [in Coq.Structures.OrdersFacts]
_ == _ [in Coq.setoid_ring.Field_theory]
_ / _ [in Coq.setoid_ring.Field_theory]
_ - _ [in Coq.setoid_ring.Field_theory]
_ * _ [in Coq.setoid_ring.Field_theory]
_ + _ [in Coq.setoid_ring.Field_theory]
- _ [in Coq.setoid_ring.Field_theory]
/ _ [in Coq.setoid_ring.Field_theory]
0 [in Coq.setoid_ring.Field_theory]
1 [in Coq.setoid_ring.Field_theory]
_ * _ [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
_ - _ [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
_ + _ [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
_ == _ [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
- _ [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
0 [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
1 [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
[| _ |] [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]