Instances for dependent function types#1383

Tragicus wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

Tragicus:dep-instTragicus/analysis:dep-instCopy head branch name to clipboard