Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

feat(order/minimal): Image of maximals under a rel_embedding #17017

Closed
wants to merge 3 commits into from

Update minimal.lean

17bc5cd
Select commit
Loading
Failed to load commit list.
Closed

feat(order/minimal): Image of maximals under a rel_embedding #17017

Update minimal.lean
17bc5cd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs