Theorem Algebra.IsAlgebraic.algHomEquivAlgHomOfIsAlgClosed_apply_apply

Modification history