Theorem Algebra.adjoin_eq_range_freeAlgebra_lift

Modification history