Theorem CategoryTheory.Equivalence.pow_zero

Modification history