User blog comment:Alemagno12/Lambda notation vs standard ordinal notation/@comment-30004975-20171125224423

Is this well defined?