mathlib3
c9642123 - Update counterexamples/prime_not_homogeneous_prime.lean

Commit

3 years ago

Update counterexamples/prime_not_homogeneous_prime.lean Co-authored-by: Johan Commelin <johan@commelin.net>

Author

jjaassoonn

Parents