Theorem Algebra.adjoin_singleton_intCast

Modification history