Theorem CategoryTheory.eHom_whisker_cancel_inv

Modification history