:: (a1_ -> _ % Ba % D) _ -> _ % Ba1 % D_ -> _ % Ba % D is:exact

No results found