eq_of_preimage_val_eq_of_subset — Mathlib · SciLib

∫ Утверждение Mathlib

eq_of_preimage_val_eq_of_subset

Mathlib.Data.Set.Subset

URI: https://scilib.ai/kg/mathlib#Set.eq_of_preimage_val_eq_of_subset

← MathLib Explorer