Adds lp as an example of a pBanach space. - Githubissues

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment

176 stars 15 forks source link

Adds lp as an example of a pBanach space. #117

Closed adamtopaz closed 2 years ago