Commit 2023-02-01 10:45 41dfa94f
View on Github →refactor(data/fintype/basic): move fin_choice to a new (unported) file (#1970) Paired with https://github.com/leanprover-community/mathlib/pull/18337
refactor(data/fintype/basic): move fin_choice to a new (unported) file (#1970) Paired with https://github.com/leanprover-community/mathlib/pull/18337