Theorem Algebra.adjoin_singleton_natCast

Modification history