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

Index - J

JoinControl.Invertible.Monoidal.Free