Theorem CyclotomicRing.algebraBase_injective

Modification history