When is reduction modulo the bc relations well-defined?
July-23-15
1:17 AM