OAI/Geometry/RCD/Sobolev/SobolevTestFunctional.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Energy and L² source terms as compact-test functionals

  1. def OAI.RegularPointCoordinates.sobolevSourceFunctional line 16