Theorem Algebra.adjoin_insert_intCast

Modification history