Theorem Basis.ofIsLocalizedModule_repr_apply

Modification history