Theorem CategoryTheory.eHom_whisker_cancel

Modification history