Theorem Quiver.starEquivCostar_symm_apply

Modification history