Mathlib v3 is deprecated. Go to Mathlib v4

Structure has_default

Modification history

2022-07-16 08:56

feat(data/json): helper functions for json serialization (#15207) …

Added has_default View on Github →