Commit 2021-10-31 21:28 106dc579
View on Github →chore(ring_theory/ideal/operations): generalize typeclass in map_map and comap_comap (#10077) Split from #10024 which is hitting timeouts somewhere more irritating.
chore(ring_theory/ideal/operations): generalize typeclass in map_map and comap_comap (#10077) Split from #10024 which is hitting timeouts somewhere more irritating.