Commit 2022-01-29 01:17 44105f84
View on Github →feat(analysis/inner_product_space): proof of the Lax Milgram theorem (#11491) My work on the Lax Milgram theorem, as suggested by @hrmacbeth. Done following the slides from Peter Howard (Texas A&M University). Closes #10213.