Skip to content
Check for copyright header

feat: add @[grind ext] attributes for extensional maps #19214

Sign in to view logs

feat: add @[grind ext] attributes for extensional maps

feat: add @[grind ext] attributes for extensional maps #19214

check-lean-files

check-lean-files
succeeded Oct 28, 2025 in 22s