cic:/matita/BTM/
Character classes
This table shows how the first 45 positive integers are distributed in the four classes.
Last update: 2012-09-29T23:49:46+02:00