Theorem Counterexample.withSign.isCompl

Modification history

2023-06-16 10:33
Counterexamples/DirectSumIsInternal.lean
feat: port Counterexamples.DirectSumIsInternal (#4812)
Added Counterexample.withSign.isComplView on Github →