Specializes the fmt::formatter<> class template for drake::symbolic::Formula.
#include <drake/common/symbolic/expression/formula.h>