Theorem CategoryTheory.R_faithful_of_counit_isIso

Modification history