Mathlib Changelog v3

Changelog About Github

Mathlib v3 is deprecated. Go to Mathlib v4

Def holor_index.assoc_right

Modification history

2018-10-01 14:51

data/holor.lean

feat(data/holor): holor library

Added holor_index.assoc_right View on Github →