connections-0.0.2.1: Partial orders & Galois connections.

Index - /

/\Data.Prd.Lattice
/~Data.Prd