Theorem Class.interₛ_apply

Modification history