dan c366c8f59b Use the namespace FSets

2018-02-10 20:06:37 +01:00

..

b_finite.v

Use the namespace FSets

2018-02-10 20:06:37 +01:00

enumerated.v

Update the code to match the latest HoTT

2017-11-06 15:25:56 +01:00

k_finite.v

Show that a type is Kfinite if its truncation is Kfinite

2018-01-25 18:08:47 +01:00

sub.v

Update the code to match the latest HoTT

2017-11-06 15:25:56 +01:00