Theorem CategoryTheory.R_full_of_counit_isIso

Modification history