fix changelog

[affeldt-aist]

analysis/CHANGELOG_UNRELEASED.md

Lines 82 to 86 in 229a6e9

	- in `ereal.v`:
	+ lemmas `ereal_infEN`, `ereal_supN`, `ereal_infN`, `ereal_supEN`
	+ lemmas `ereal_supP`, `ereal_infP`, `ereal_sup_gtP`, `ereal_inf_ltP`,
	`ereal_inf_leP`, `ereal_sup_geP`, `lb_ereal_infNy_adherent`,
	`ereal_sup_real`, `ereal_inf_real`

these are additions rather than generalizations, right?