Clarify type-in-type assignment section#256

414owen wants to merge 1 commit into

leanprover:masterleanprover/fp-lean:masterfrom

414owen:os/add-of-to-type-in-type414owen/fp-lean:os/add-of-to-type-in-typeCopy head branch name to clipboard