Theorem Algebra.adjoin_range_eq_range_freeAlgebra_lift

Modification history