Theorem innerSL_apply_norm

Modification history