leanprover-community/mathlib

Pull Requests Commits

refactor homotopy_group_equiv_fundamental_group

alreadydone committed 2 years ago

7438b034

Make x explicit in gen_loop_homeo_of_is_empty

alreadydone committed 2 years ago

d5c45ac1

alreadydone committed 2 years ago

db5fc858

Upgrade loop_equiv to loop_homeo (just for fun)

alreadydone committed 2 years ago

9640fec9

alreadydone committed 2 years ago

37938228

alreadydone committed 2 years ago

bf40483d

inhabited -> nonempty

alreadydone committed 2 years ago

0c203336

loop_space.inhabited

alreadydone committed 2 years ago

03aa7b77

const_spec -> one_def

alreadydone committed 2 years ago

88214b2c

alreadydone committed 2 years ago

426894dd

alreadydone committed 2 years ago

56753f3c

remove c_coe, function dot notation, instances

alreadydone committed 2 years ago

c953156e

notation for gen_loop

ralvrz committed 2 years ago

b4affee5

ralvrz committed 2 years ago

70a9edcf

ralvrz committed 2 years ago

6437530d

More suggestions

ralvrz committed 2 years ago

fba7d0de

Apply suggestions from code review

ralvrz committed 2 years ago

Verified 761bf5f0

rename path to loop

ralvrz committed 2 years ago

80c2dce3

Apply suggestions from code review

alreadydone committed 2 years ago

Verified b2cdb71a

generalize mul/inv_spec, mul_at→trans_at & lemmas

alreadydone committed 2 years ago

c2ab0271

ralvrz committed 2 years ago

a350583e

explicit argument to ¹fun_split_at¹

ralvrz committed 2 years ago

b3b74343

more suggestions

ralvrz committed 2 years ago

31b7993f

Apply suggestions from code review

ralvrz committed 2 years ago

Verified f4ac1932

removes homeomorph edit

ralvrz committed 2 years ago

aeddb13a

update docstrings

ralvrz committed 2 years ago

44585aad

rename and fixes

ralvrz committed 2 years ago

11b9c5b5

split_at abbreviation and symm_spec

ralvrz committed 2 years ago

42a528be

ralvrz committed 2 years ago

f2e1f319

feat(ring_theory/polynomial): define the probabilist's Hermite polynomials (#18739)

lukemantle committed 2 years ago

c6275ef4

Older