Zulip Chat Archive
Stream: general
Topic: naming for subsingletons
Reid Barton (Aug 23 2018 at 16:10):
Does mathlib have a naming convention for types which are subsingletons? is_* suggests a Prop
Reid Barton (Aug 23 2018 at 16:17):
I've been using Is_*, but not really attached to it
Chris Hughes (Aug 23 2018 at 18:23):
The only two examples of this I can think of are decidable and fintype neither of which follow a convention other than no is or Is
Last updated: May 02 2025 at 03:31 UTC