Theorem Quiver.Path.reverse_comp

Modification history