Theorem Quiver.Symmetrify.lift_unique

Modification history