Commit 2024-08-30 14:08 755d1ebf

View on Github →

chore(ModelTheory): Add @[simps] to functions creating maps from HomClass instances (#16193) Adds @[simps] tag to HomClass.toHom, StrongHomClass.toEmbedding, StrongHomClass.toEquiv

Estimated changes