Theorem CyclotomicRing.adjoin_algebra_injective

Modification history