Theorem CategoryTheory.leftDistributor_inv

Modification history