Talk:Church numeral

Redirect to:

• Talk:Church encoding