我p 空间

@文章{Lp AFP，
 author={Sebastien Gouezel}，
 title={Lp spaces}，
 journal={Archive of Formal proof s}，
 month=oct，
 year=2016，
 note={url{https://isa AFP.org/entries/Lp.html}，
正式证明开发}，
 ISSN={2150-914x}，
}