C (axiom)
classic [in Coq.Logic.Classical_Prop]
classic [in Coq.Logic.Classical_Prop]
classic [in Coq.Logic.Classical_Prop]
classic [in Coq.Logic.Classical_Prop]
classic [in Coq.Logic.Classical_Prop]
classic [in Coq.Logic.Classical_Prop]
classic [in Coq.Logic.Classical_Prop]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
completeness [in Coq.Reals.Raxioms]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.ClassicalEpsilon]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_indefinite_description [in Coq.Logic.IndefiniteDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.ClassicalDescription]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.Description]
constructive_definite_description [in Coq.Logic.Description]
CyclicType.w [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_spec [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_op [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_spec [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_spec [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_spec [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_op [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_spec [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_op [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_spec [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
CyclicType.w_op [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]