for X being set holds
( 'not' (FlatCoh X) = bool X & 'not' (bool X) = FlatCoh X )