let L be Boolean LATTICE; :: thesis: L,L opp are_isomorphic
take ComplMap L ; :: according to WAYBEL_1:def 8 :: thesis: ComplMap L is isomorphic
thus ComplMap L is isomorphic ; :: thesis: verum