Theorem Test.isUnit'_iff_exists_inv'

Modification history

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