Def CategoryTheory.Idempotents.toKaroubiIsEquivalence

Modification history