Theorem Sigma.Icc_mk_mk

Modification history

2023-02-06 20:02
Mathlib/Data/Sigma/Interval.lean
feat: port Data.Sigma.Interval (#2114)
Added Sigma.Icc_mk_mkView on Github →