theorem :: CONLAT_1:14

for C being FormalContext holds [(phi C),(psi C)] is co-Galois