Theorem AddMonoid.End.intCast_def

Modification history