Theorem Basis.localizationLocalization_apply

Modification history