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: May 02 2025 at 03:31 UTC
Has anyone ever managed to use the optional discharger argument of field_simp?
Last updated: May 02 2025 at 03:31 UTC