Skip to content

chore(RingTheory): adapt Perfectoid field draft to current master (revival) - #20

Open
sfingali wants to merge 7490 commits into
jjdishere:jiedong_jiang_perfectoidfrom
sfingali:perfectoid-revival
Open

chore(RingTheory): adapt Perfectoid field draft to current master (revival)#20
sfingali wants to merge 7490 commits into
jjdishere:jiedong_jiang_perfectoidfrom
sfingali:perfectoid-revival

feat(RingTheory): prove valuedPerfectoidField.is_topological_valuatio…

51fd2c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped