Theorem CategoryTheory.rightDistributor_inv

Modification history