Theorem CategoryTheory.balanced_opposite

Modification history