Theorem is_invariant_subring.coe_subtype_hom
Modification history
2023-01-08 05:18
src/algebra/group_ring_action/invariant.lean
chore(algebra/group_ring_action/invariant): streamline imports (#18092) …
Modified is_invariant_subring.coe_subtype_homView on Github →