Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties#1184
Merged
felixwellen merged 7 commits intoagda:masterfrom Feb 14, 2025
Merged
Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties#1184felixwellen merged 7 commits intoagda:masterfrom
factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties#1184felixwellen merged 7 commits intoagda:masterfrom
Commits
Commits on Feb 9, 2025
- authored
- authored
- authored
