Theorem ExpGrowth.expGrowthSup_congr

Modification history