Zulip Chat Archive
Stream: mathlib4
Topic: field_simp discharger
Patrick Massot (Oct 28 2023 at 21:30):
Has anyone ever managed to use the optional discharger argument of field_simp?
Last updated: Dec 20 2023 at 11:08 UTC
Has anyone ever managed to use the optional discharger argument of field_simp?
Last updated: Dec 20 2023 at 11:08 UTC