Commit 2023-01-03 16:47 489ab6d0

View on Github →

chore: tidy various files (#1311)

Estimated changes

added theorem Nat.noZeroSMulDivisors
deleted theorem Nat.noZeroSmulDivisors
modified theorem smul_ne_zero
modified theorem smul_right_inj
modified theorem smul_right_injective
modified def Rel.codom
modified def Rel.core
modified def Rel.dom
modified def Rel.image
modified theorem Rel.image_subset
added theorem Semiquot.isPure_iff
added theorem Semiquot.isPure_univ
deleted theorem Semiquot.is_pure_iff
deleted theorem Semiquot.is_pure_univ
added theorem Semiquot.pure_isPure
deleted theorem Semiquot.pure_is_pure
modified theorem Setoid.ker_apply_mk_out
modified def Setoid.liftEquiv
modified def MulAction.toPermHom
modified def arrowAction
modified def IsUnit.submonoid
modified def MonoidHom.eqLocusM
modified def infIccOrderIsoIccSup
modified def infIooOrderIsoIooSup