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: Dec 20 2025 at 21:32 UTC
Should those drop the "Has" prefix?
Last updated: Dec 20 2025 at 21:32 UTC