Theorem Algebra.IsAlgebraic.faithfulSMul_tower_top

Modification history