Theorem Algebra.adjoin_insert_natCast

Modification history