connections-0.0.3: Partial orders, Galois connections, and lattices.

Index - K

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