Def toDualForTest

Modification history

2026-10-04 05:36
MathlibTest/Attribute/ToDual.lean
feat(Translate): implementation of `to_dual_for` command (#44270) …
Added toDualForTestView on Github →