∫ Утверждение Mathlib
isImage_preimage_prod
Mathlib.Topology.FiberBundle.Trivialization
URI: https://scilib.ai/kg/mathlib#Trivialization.isImage_preimage_prod
∫ Утверждение Mathlib
Mathlib.Topology.FiberBundle.Trivialization
URI: https://scilib.ai/kg/mathlib#Trivialization.isImage_preimage_prod