∫ Утверждение Mathlib
Mathlib.Data.Setoid.Basic
URI: https://scilib.ai/kg/mathlib#Setoid.ker_iff_mem_preimage
← MathLib Explorer