simplified looking for Qed. instead of Defined. and vice-versa
simplified looking for Qed. instead of Defined. and vice-versa

Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq