mathlib3
b8d176e0 - chore(real/cau_seq_completion): put class in Prop (#12533)

Commit

3 years ago

chore(real/cau_seq_completion): put class in Prop (#12533)

Author

PatrickMassot

PatrickMassot

Parents

Loading