cic:/matita/BTM/
Character classes
This table shows how the first 45 positive integers are distributed in the four classes.
Last update: 2012-10-18T16:59:43+02:00