Def ManualCoercion.Equiv.Simps.invFun

Modification history

2022-11-20 06:21

test/Simps.lean

fix(Tactic/Simps): use capital letter for namespace (#647) …

Added ManualCoercion.Equiv.Simps.invFun View on Github →