Theorem Lin_const

Modification history

2024-09-03 05:37

test/fun_prop_dev.lean

chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#16433)

Modified Lin_const View on Github →

2024-08-12 15:04

test/fun_prop_dev.lean

fix(fun_prop): few bug fixes for fun_prop (#11092) …

Added Lin_const View on Github →