mathlib

97853b96 - doc(tactic/lean_core_docs): remove "hypothesis management" tag (#3323)