doc(tactic/wlog): use markdown lists rather than indentation (#15113)
doc(tactic/wlog): use markdown lists rather than indentation (#15113)

The indentation used in this docstring was lost in the web docs.







leanprover-community/mathlib,leanprover-community/mathlib