Closed maowtm closed 2 years ago
a("\n"). a("a\ b").
2 proof(s) found for query a(X) └─ a("a\ b") └─ a("\n")