Commit 2024-08-30 18:03 673f6c8b

View on Github →

feat: A star group is a star ℤ-module (#16246) From LeanAPAP

Estimated changes

modified theorem star_nsmul
modified theorem star_zsmul