アンドレ・ヴェイユ
The concept was introduced by André Weil in 1952 for differentiable manifolds, demanding the formula_3 to be differentiably contractible.