Mathlib v3 is deprecated. Go to Mathlib v4

Theorem hofer

Modification history

2020-06-15 15:45
src/analysis/hofer.lean
feat(analysis/hofer): Hofer's lemma (#3064) …
Added hoferView on Github →