Skip to content

Add lemmas not_near_inftyP and not_near_ninftyP in normedtype.v #507

Add lemmas not_near_inftyP and not_near_ninftyP in normedtype.v

Add lemmas not_near_inftyP and not_near_ninftyP in normedtype.v #507

Annotations

1 warning

coq

succeeded Aug 20, 2024 in 39s