3 ms·

This looks to be another name for 'eta expansion/reduction', if you're searching for prior art in other languages.