Def toDualForTest'

Modification history

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