Def CategoryTheory.Free.embeddingLiftIso

Modification history