Skip to content

Pet #4531

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

Merged
merged 12 commits into from
Jan 7, 2025
Merged

Pet #4531

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
897149b
cosscnv
mazsa Jan 1, 2025
bc59dd1
br1cnvinxp br1cnvres coss1cnvres coss2cnvepres
mazsa Jan 1, 2025
aeca6d0
moeu2 mopickr
mazsa Jan 1, 2025
2428df9
discouraged mopickr
mazsa Jan 1, 2025
f0ea703
n0elim
mazsa Jan 1, 2025
e9c8988
refrelressn & necessary theorems
mazsa Jan 2, 2025
faa1334
trrelressn
mazsa Jan 2, 2025
b9fe678
suceqsneq
mazsa Jan 2, 2025
0f7d17a
dfantisymrel4, antisymrelressn
mazsa Jan 2, 2025
0517fe5
df-parts, partsuc
mazsa Jan 3, 2025
f0922ff
Renaming: MembEr -> CoMembEr
mazsa Jan 3, 2025
53bf4fe
mpets, pet
mazsa Jan 4, 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
1 change: 1 addition & 0 deletions discouraged
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20899,6 +20899,7 @@ Proof modification of "mnringvscadOLD" is discouraged (30 steps).
Proof modification of "mobidvALT" is discouraged (48 steps).
Proof modification of "moelOLD" is discouraged (101 steps).
Proof modification of "mof0ALT" is discouraged (67 steps).
Proof modification of "mopickr" is discouraged (77 steps).
Proof modification of "mpjao3danOLD" is discouraged (29 steps).
Proof modification of "mpofunOLD" is discouraged (95 steps).
Proof modification of "mpteq12daOLD" is discouraged (41 steps).
Expand Down
Loading
Loading