Theorem AddCommGrp.μ_forget_apply

Modification history