Skip to content
Check for copyright header

feat: abbrev produces theorems where appropriate #6731

Sign in to view logs

feat: abbrev produces theorems where appropriate

feat: abbrev produces theorems where appropriate #6731

check-lean-files

check-lean-files
succeeded Nov 29, 2024 in 22s