Theorem Counterexample.UnitsInt.one_ne_neg_one

Modification history

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