Commits

Commits on Oct 18, 2023

relcnvtrg (metamath#3576 )
mazsa
authored

Commits on Jul 29, 2023

Weakening of antecedents of ~ imaex and ~ ecex (metamath#3318 )
mazsa
authored

Commits on Jul 25, 2023

Twin concepts: function and disjoint (metamath#3311 )
mazsa
authored

Commits on Jul 22, 2023

Minor changes in my Mathbox (former "eqbrrdv2 to the main") (metamath#3304 )
mazsa
authored

Commits on Jul 21, 2023

ErALTV: equivalence relation on its natural domain (metamath#3301 )
mazsa
authored

Commits on Nov 6, 2022

Redundancy (metamath#2924 )
mazsa
authored

Commits on Oct 31, 2022

Transitivity and equivalence (metamath#2920 )
mazsa
authored

Commits on Oct 10, 2022

Conventions-labels: default form for new/revised/upgraded theorems (metamath#2884 )
mazsa
authored

Commits on Oct 9, 2022

brres and related theorems (metamath#2873 )

mazsa
and
jkingdon
authored

Commits on Sep 23, 2022

3 lemmas minimized (metamath#2849 )
mazsa
authored

Commits on Sep 19, 2022

idssxp proved by pre-function definitions (metamath#2831 )
mazsa
authored

Commits on Mar 4, 2022

refrel cnvrefrel symrel refsymrel (metamath#2531 )
mazsa
authored

Commits on Feb 25, 2022

Relations and Subsets (metamath#2526 )
mazsa
authored

Commits on Feb 21, 2022

Cosets + minor changes (metamath#2518 )
mazsa
authored

Commits on Feb 18, 2022

Range cross theorems + minor changes (metamath#2502 )
mazsa
authored

Commits on Feb 9, 2022

4 range cross items by Scott Fenton in the Mathbox of Peter Mazsa (metamath#2478 )
mazsa
authored

Commits on Feb 1, 2022

Preparatory theorems 2/2 (metamath#2462 )
mazsa
authored

Commits on Jan 29, 2022

Preparatory theorems 1/2: the 11 el*v* theorems (metamath#2457 )
mazsa
authored

Commits on Jan 23, 2022

First theorem in my Mathbox (metamath#2446 )
mazsa
authored