Theorem Counterexample.withSign.independent

Modification history

2026-08-04 17:34
Counterexamples/DirectSumIsInternal.lean
chore(Counterexamples/DirectSumIsInternal): automated extraction from #42430 (#42431) …
Added Counterexample.withSign.independentView on Github →
2026-06-18 23:59
Counterexamples/DirectSumIsInternal.lean
chore: bump toolchain to v4.32.0-rc1 (#40732)
Deleted Counterexample.withSign.independentView on Github →
2026-06-15 00:50
Counterexamples/DirectSumIsInternal.lean
chore(Counterexamples/DirectSumIsInternal): fix defLemma error (#40592) …
Added Counterexample.withSign.independentView on Github →