∫ Утверждение Mathlib
and
Mathlib.Tactic.ITauto
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.ITauto.IProp.and
∫ Утверждение Mathlib
Mathlib.Tactic.ITauto
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.ITauto.IProp.and