Theorem Algebra.adjoin_eq_ring_closure

Modification history