Mathlib v3 is deprecated. Go to Mathlib v4

Structure no_fields

Modification history

2022-07-16 08:56
test/json.lean
feat(data/json): helper functions for json serialization (#15207) …
Added no_fieldsView on Github →