feat(RingTheory): define Frobenius equations (Coalgebra.IsFrobenius)
#257899
Triggered via pull request
July 23, 2026 02:54
themathqueen
themathqueen
created
#27493
Status
Success
Total duration
8s
Artifacts
–
bot_fix_style.yaml
on: pull_request_review_comment
Fix style issues from lint
6s