Theorem continuousInv₀_of_contMDiffInv₀

Modification history