Def Test.IsUnit'

Modification history

2022-11-24 14:35
test/toAdditive.lean
fix: let toAdditive handle more auxiliary declarations (#699) …
Added Test.IsUnit'View on Github →