Commit 2026-03-10 10:33 16ad79a0
View on Github →fix(Data/Rel): change what image_eq_cod_of_dom_subset states (#35696)
It used to be identical to its neighbor, preimage_eq_dom_of_cod_subset.
Both lemmas seem to have been introduced in #25587.
fix(Data/Rel): change what image_eq_cod_of_dom_subset states (#35696)
It used to be identical to its neighbor, preimage_eq_dom_of_cod_subset.
Both lemmas seem to have been introduced in #25587.