operations.lean): make is_prime.comap an instance (#7518)

Commit

4 years ago

refactor(ring_theory/ideal/operations.lean): make is_prime.comap an instance (#7518)

Author

justus-springer

Parents