Docs/Symbolic Math (SymEngine)/sym.logic.BoolFalse