Theorem Quiver.Symmetrify.lift_reverse

Modification history