Theorem MulChar.star_apply'

Modification history