Def fdef

Modification history

2024-07-01 20:25
test/Subsingleton.lean
feat: `subsingleton` tactic (#12525) …
Added fdefView on Github →