Skip to content

Revisited local and global monotonicity #4794

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 12 commits into
base: develop
Choose a base branch
from
Draft

Revisited local and global monotonicity #4794

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
25c71dc
Revisited local and global monotonicity
ProgramCrafter Apr 29, 2025
f096af8
Merge branch 'develop' into my1
tirix May 6, 2025
2e48d32
Style
ProgramCrafter May 16, 2025
14fa91c
Merge remote-tracking branch 'upstream/develop' into my1
ProgramCrafter May 16, 2025
bd8caec
some lines lost in changes-set
ProgramCrafter May 16, 2025
1ee750e
Update changes-set.txt
ProgramCrafter May 16, 2025
ffd37c9
Took back ax6er USAGE, minimized some proofs
ProgramCrafter May 20, 2025
21f86e0
Merge commit '1ee750e' into my1
ProgramCrafter May 20, 2025
3390210
Merge remote-tracking branch 'upstream/develop' into my1
ProgramCrafter May 20, 2025
54c44e2
status quo regarding ~ ax6er ; BLOCK ON IT
ProgramCrafter May 20, 2025
e196111
amend: discouraged file must be changed too
ProgramCrafter May 20, 2025
b4c58ef
moves list fixed
ProgramCrafter Jun 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
some lines lost in changes-set
  • Loading branch information
@ProgramCrafter
ProgramCrafter committed May 16, 2025
commit bd8caec02ad7ede6fb51c32cb3786106b8b1cb13
3 changes: 3 additions & 0 deletions changes-set.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,9 @@ Date Old New Notes
30-Apr-25 idomrootle [same] Moved from SO's mathbox to main set.mm
30-Apr-25 ply1ascl0 [same] Moved from TA's mathbox to main set.mm
30-Apr-25 hashf1dmcdm [same] Moved from BT's mathbox to main set.mm
30-Apr-25 sotrd [same] Moved from SF's mathbox to main set.mm
30-Apr-25 ax6er [same] Moved from BJ's mathbox to main set.mm
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think after this entry is removed (ax6er is not moved from BJ's mathbox anymore), this PR will be fine.

30-Apr-25 iscnrm3lem3 4aneqpull12 Moved from ZW's mathbox to main set.mm
25-Apr-25 mon1pid [same] Moved from SO's mathbox to main set.mm
27-Apr-25 df-cnfld [same] Use maps-to notation
26-Apr-25 fsuppfund [same] Moved from SN's mathbox to main set.mm
Expand Down