Overspill

proof technique in non-standard analysis, is less commonly called overflow

Kategorien: