Def CategoryTheory.symmetricCategoryOfFaithful

Modification history