Theorem Con_let

Modification history

2024-08-12 15:04

test/fun_prop_dev.lean

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

Deleted Con_let View on Github →

2024-02-21 19:28

test/fun_prop_dev.lean

fix: refactor of `fun_prop` and several bug fixes (#10724) …

Added Con_let View on Github →