Theorem ModuleCat.Free.μ_natural

Modification history