Theorem IsCyclotomicExtension.Rat.Three.cube_sub_one_eq_mul

Modification history