Theorem CategoryTheory.IsDetector.def'

Modification history