Skip to content
Check for copyright header

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

Sign in to view logs

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

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

check-lean-files

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