search

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

Fix the definition of p-Banach spaces #82

Closed faenuccio closed 2 years ago

jcommelin commented 2 years ago

Closed by acf132f2609777985727dd08c46f495a435c4b76