Theorem MonoidAlgebra.int_cast_def

Modification history