Commit 2024-03-12 09:02 06977376
View on Github →chore(Set/Image): restore forall_range_iff (#11287)
... as a @[deprecated] alias
Also add dates to some theorems deprecated in #10816,
deprecate Set.exists_range_iff',
and use simp-normal form in the definition of ParacompactSpace.