Theorem AddChar.inv_apply

Modification history