Commit 2022-07-08 00:21 646028a0
View on Github →refactor(data/finset/lattice): finset.{min,max} away from option (#15163)
Switch to a with_top
/with_bot
based API. This avoids exposing option
as implementation detail.
Redefines polynomial.degree
to use coe
instead of some