Skip to content

Commit

Permalink
Update CHANGELOG_UNRELEASED.md
Browse files Browse the repository at this point in the history 
Co-authored-by: Pierre Roux <[email protected]>
  • Loading branch information
@affeldt-aist @proux01
affeldt-aist and proux01 authored Jul 24, 2024
1 parent d8fde79 commit 0675c3e
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 @@ -123,7 +123,7 @@
### Generalized

- in `constructive_ereal.v`:
+ lemmas `leeN2`, `lt2N2` generalized from `realDomainType` to `numDomainType`
+ lemmas `leeN2`, `lteN2` generalized from `realDomainType` to `numDomainType`

### Deprecated

Expand Down

0 comments on commit 0675c3e

Please sign in to comment.