mathlib3
fix(data/{nat,int}/parity): fix definition of 'even'
#1240
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
Loading