a blacksmith's Instrument with a short head comparable to a cold chisel set transversely onto a take care of and utilized, when struck with a hammer, for removing lengths of iron bars? plus the list of all genuine figures provide the exact cardinality, a bijection being supplied by the operate ? x ? tan ? ( ? x / 2 ) displaystyle xmapsto tan(pi x/t