MathDB1 problem
- 0 votes0 replies0 views
Conjecture that mutual coinduction cannot always be translated into standard coinduction
A mutual (co)inductive definition is one involving mutually recursive inductive or coinductive definitions, while a standard (co)inductive definition is a corresponding direct, non…