Theorem Counterexample.withSign.not_injective

Modification history

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