Theorem AddGrp.μ_forget_apply

Modification history