Theorem Perfection.coeff_map

Modification history