galois-connection public under concept 1247 List Picture As a command Nothing is filed under galois-connection.