Def CategoryTheory.AsSmall.{w,

Modification history