Theorem CategoryTheory.Equivalence.toOrderIso_apply

Modification history