∫ Утверждение Mathlib
_aux_Mathlib_MeasureTheory_Constructions_BorelSpace_Basic___elabRules_Mathlib_Tactic_Borelize_tacticBorelize____1
Mathlib.MeasureTheory.Constructions.BorelSpace.Basic
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Borelize._aux_Mathlib_MeasureTheory_Constructions_BorelSpace_Basic___elabRules_Mathlib_Tactic_Borelize_tacticBorelize____1