Theorem CategoryTheory.L_full_of_unit_isIso

Modification history