Theorem Quiver.starEquivCostar_apply

Modification history