Add lemmas not_near_inftyP
and not_near_ninftyP
in normedtype.v
…
#2742
Loading
not_near_inftyP
and not_near_ninftyP
in normedtype.v
…
#2742