Skip to content

Commit

Permalink
Add-Lemma_not_near_ninftyP
Browse files Browse the repository at this point in the history
  • Loading branch information
amethyst authored and amethyst committed Aug 11, 2024
1 parent 5f39fe1 commit ef7abfe
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG_UNRELEASED.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

### Added
- in `normedtype.v`:
+ lemma `not_near_ninftyP`
+ lemma `not_near_inftyP` `not_near_ninftyP`

### Changed

Expand Down

0 comments on commit ef7abfe

Please sign in to comment.