Commit 2024-11-23 15:57 cc6b7ff0

View on Github →

feat: s⁻¹.encard = s.encard (#19400) From Kneser (LeanCamCombi)

Estimated changes