Theorem AddMonoid.End.zero_apply

Modification history