Theorem Counterexample.mem_withSign_one

Modification history

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