invertible-0.2.0.8: bidirectional arrows, bijective functions, and invariant functors

Index - V

VoidControl.Invertible.Monoidal.Free