theorem ConormNilmin: :: FUZNORM1:29

conorm nilmin_norm = nilmax_conorm