Commit 2023-09-08 07:26 20cab645

View on Github →

feat: ZMod.castHom_self (#7013) drive-by: typo

Estimated changes

added theorem ZMod.castHom_self