Commit 2024-11-02 20:31 fd1eeacf

View on Github →

feat(Order/InitialSeg): extensionality for principal segments (#17598)

Estimated changes

added theorem PrincipalSeg.ext