Theorem Quiver.reverse_inj

Modification history