∫ Утверждение Mathlib
preimage_image
Mathlib.Topology.Algebra.ContinuousAffineEquiv
URI: https://scilib.ai/kg/mathlib#ContinuousAffineEquiv.preimage_image
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.ContinuousAffineEquiv
URI: https://scilib.ai/kg/mathlib#ContinuousAffineEquiv.preimage_image