Theorem CategoryTheory.Equivalence.pow_one

Modification history