Def Fin.nsmul

Modification history

2021-11-19 07:29

Mathlib/Data/Fin/Basic.lean

feat(Data/UInt, Data/Fin/Basic) declarations (#90) …

Deleted Fin.nsmul View on Github →

2021-11-09 08:19

Mathlib/Data/Fin/Basic.lean

feat(Data/Fin/Basic) (#84) …

Added Fin.nsmul View on Github →