Skip to content
Check for copyright header

fix: RecursorVal.getInduct to return name of major argument’s type #5367

Sign in to view logs

fix: RecursorVal.getInduct to return name of major argument’s type

fix: RecursorVal.getInduct to return name of major argument’s type #5367

check-lean-files

check-lean-files
succeeded Oct 12, 2024 in 28s