ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

1 results

runofff
equivalence relations and partitions - lean proof

... am using math lib and so the main thing that I need is this settoid So I think if I do import math am I going to get anything lib data.

3:29:08
equivalence relations and partitions - lean proof

31 views

Streamed 12 hours ago