Zulip Chat Archive
Stream: mathlib4
Topic: HasInvolutiveReverse / HasReverse
Ruben Van de Velde (Dec 18 2022 at 10:14):
Should those drop the "Has" prefix?
Last updated: May 02 2025 at 03:31 UTC
Should those drop the "Has" prefix?
Last updated: May 02 2025 at 03:31 UTC