Theorem AddChar.map_zsmul_zpow

Modification history