Commit 2022-11-20 15:51 9822b65b

View on Github →

chore(*): add missing coe_copy and copy_eq (#17615)

Estimated changes

added theorem inf_hom.coe_copy
added theorem inf_hom.copy_eq
added theorem inf_top_hom.coe_copy
added theorem inf_top_hom.copy_eq
added theorem lattice_hom.coe_copy
added theorem lattice_hom.copy_eq
added theorem sup_bot_hom.coe_copy
added theorem sup_bot_hom.copy_eq
added theorem sup_hom.coe_copy
added theorem sup_hom.copy_eq