Theorem RestrictScalars.lsmul_apply_apply

Modification history