Eventually pointed sequences#1382

malarbol wants to merge 7 commits intoUniMath:masterUniMath/agda-unimath:masterfrom

malarbol:eventually-pointed-sequencesmalarbol/agda-unimath:eventually-pointed-sequencesCopy head branch name to clipboard