Theorem CategoryTheory.IsCodetector.def'

Modification history