3 ms·it is, but more specifically it’s an eliminator for a coinductive step.by cmrx64 15d agoit is, but more specifically it’s an eliminator for a coinductive step.