Skip to content

feat: Complete Semigroup.lean formalization #6

feat: Complete Semigroup.lean formalization

feat: Complete Semigroup.lean formalization #6

Job Run time
1m 8s
1m 8s