Arrows and Asymmetric Boxes for Invertible Generators#864

thud wants to merge 2 commits into

masterhomotopy-io/homotopy-rs:masterfrom

new-show-orientationhomotopy-io/homotopy-rs:new-show-orientationCopy head branch name to clipboard