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
.