Theorem RCLike.inner_apply'

Modification history