Theorem Basis.localizationLocalization_repr_algebraMap

Modification history