Theorem IsAlgebraic.tower_top_of_injective

Modification history