Remove "'" accidentaly added.
Remove "'" accidentaly added.

"'" in the extended (k_i added) form of Fix syntax should be removed.

In the following sentence, A_i' is referenced as A_i.

```
Each :math:`A_i` should be a type (reducible to a term) starting
with at least :math:`k_i` products
:math:`∀ y_1 :B_1 ,~… ∀ y_{k_i} :B_{k_i} ,~A_i'`
```

Also, A_i' is used in ∀ y_1 :B_1 ,~… ∀ y_{k_i} :B_{k_i} ,~A_i' and
A_i' must not equal to ∀ y_1 :B_1 ,~… ∀ y_{k_i} :B_{k_i} ,~A_i'.

The old reference manual, coq-8.7.2-reference-manual.pdf,
doesn't have "'".

They are added by
https://github.com/coq/coq/commit/47dca6c5da585212f69b6b83b25896ff990781e3
which ports Cic document from TeX to sphinx.

So, the change seems just an accident.

ejgallego/coq,JasonGross/coq,gares/coq,ppedrot/coq,SkySkimmer/coq,ppedrot/coq,Zimmi48/coq,gares/coq,ejgallego/coq,silene/coq,coq/coq,ejgallego/coq,ppedrot/coq,SkySkimmer/coq,Matafou/coq,Zimmi48/coq,Matafou/coq,Zimmi48/coq,coq/coq,coq/coq,gares/coq,JasonGross/coq,JasonGross/coq,gares/coq,SkySkimmer/coq,JasonGross/coq,silene/coq,silene/coq,coq/coq,SkySkimmer/coq,gares/coq,ppedrot/coq,Matafou/coq,ejgallego/coq,Zimmi48/coq,ppedrot/coq