Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
pointwise-ergodic-thm Copy branch name to clipboard	Jul 11, 2025				Delete branchBranch menu
Order_PartialSups Copy branch name to clipboard	Jul 11, 2025				Delete branchBranch menu
iterates Copy branch name to clipboard	Jul 11, 2025				Delete branchBranch menu
partialSups Copy branch name to clipboard	Jul 8, 2025				Delete branchBranch menu
birkhoffAverage Copy branch name to clipboard	Jul 8, 2025				Delete branchBranch menu
birkhoffSum Copy branch name to clipboard	Jul 8, 2025				Delete branchBranch menu
invariants Copy branch name to clipboard	Jul 7, 2025				Delete branchBranch menu
Filter Copy branch name to clipboard	Jul 7, 2025				Delete branchBranch menu
birkhoffAverage_of_invariant Copy branch name to clipboard	Jul 7, 2025				Delete branchBranch menu
iterate_invariant Copy branch name to clipboard	Jul 6, 2025				Delete branchBranch menu
variation-lemmas-3 Copy branch name to clipboard	Jun 19, 2025				Delete branchBranch menu
variation-lemmas-2 Copy branch name to clipboard	Jun 19, 2025				Delete branchBranch menu
variation-lemmas-1 Copy branch name to clipboard	Jun 19, 2025				Delete branchBranch menu
variation-def Copy branch name to clipboard	Jun 19, 2025				Delete branchBranch menu
birkhoffSum-AE Copy branch name to clipboard	Jun 19, 2025				Delete branchBranch menu
oliver-butterley/Variation Copy branch name to clipboard	Jun 19, 2025				Delete branchBranch menu