OAI/Geometry/PrescribedPotential/CompactAlternative.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Compact Alternative.

  1. lemma OAI.GlobalElliptic.compact_one_sub_surjective line 14