Theorem innerSL_apply

Modification history