Def CategoryTheory.Quiv.lift

Modification history