connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.

Index - K

kernelData.Connection.Property
kernel'Data.Connection.Property