Theorem CategoryTheory.isDetecting_op_iff

Modification history