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

not_and_eq

Mathlib.Tactic.Push

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Push.not_and_eq

← MathLib Explorer