Zulip Chat Archive

Stream: new members

Topic: Inverse image

Bjørn Kjos-Hanssen (Feb 06 2022 at 22:04):

Is there an idiomatic Lean abbreviation for {x | f x \in A} in other words $f^{-1}(A)$ ?

Junyan Xu (Feb 06 2022 at 22:04):

f⁻¹' A

Eric Wieser (Feb 06 2022 at 22:05):

docs#set.preimage

Last updated: Dec 20 2025 at 21:32 UTC