Mathlib v3 is deprecated. Go to Mathlib v4

Inductive option.rel

Modification history

2018-12-17 10:50

data/option/basic.lean

fix(*): untangle dependency hierarchy

Modified option.rel View on Github →

2018-07-21 12:10

data/option.lean

fix(data/option): fix universe levels in option.map_some etc.

Modified option.rel View on Github →

2018-06-11 14:05

data/option.lean

feat(data/option): add relator option.rel

Added option.rel View on Github →