theorem :: YELLOW_7:38

for L being Boolean LATTICE holds L,L opp are_isomorphic