Commit 2023-07-22 09:12 573eea92
View on Github →chore(*): add mathlib4 synchronization comments (#19239) Regenerated from the port status wiki page. Relates to the following files:
order.irreducible
chore(*): add mathlib4 synchronization comments (#19239) Regenerated from the port status wiki page. Relates to the following files:
order.irreducible