Skip to content

Update PartENat.lean

db9bb6c
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - chore: classify new theorem / theorem porting notes #11432

Update PartENat.lean
db9bb6c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs