Theorem innerₛₗ_apply

Modification history