Theorem Algebra.IsAlgebraic.algHom_bijective

Modification history