continuous integration (mathlib forks)

made IsStableUnderComposition.unop an instance #92705

Sign in to view logs

GitHub Actions / New Contributor Check completed Apr 28, 2024 in 0s

Found 433 PRs by this author.

Found 433 PRs by this author.

View more details on GitHub Actions