mathlib
cc326302 - style(computability): fix style and remove intermediate simp

Commit

3 years ago

style(computability): fix style and remove intermediate simp Use standard brace placement in tactic mode. Replace intermediate simp with rw and simp only.

References

#14250 - feat(computability): prove equivalence of NFAs and regular expressions

Author

RussellEmerine

Parents

a4555bfe

mathlib cc326302 - style(computability): fix style and remove intermediate simp

mathlib
cc326302 - style(computability): fix style and remove intermediate simp