Theorem Counterexample.withSign.not_internal

Modification history

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