Skip to content

Commit 2242404

Browse files
committed
fix changelog
1 parent 21170a5 commit 2242404

1 file changed

Lines changed: 0 additions & 2 deletions

File tree

CHANGELOG_UNRELEASED.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,6 @@
189189
+ lemmas `Radon_NikodymE`, `Radon_Nikodym_fin_num`, `Radon_Nikodym_integrable`,
190190
`ae_eq_Radon_Nikodym_SigmaFinite`, `Radon_Nikodym_change_of_variables`,
191191
`Radon_Nikodym_cscale`, `Radon_Nikodym_cadd`, `Radon_Nikodym_chain_rule`
192-
193-
### Changed
194192

195193
### Renamed
196194

0 commit comments

Comments
 (0)